#ifndef DEBUG_H
#define DEBUG_H

#include "../kernel/config.h"

void debug_init();

void debug_write(const char *);

#endif
